xen/arm: gic-v3: Increase the size of GICR in address space for guest
authorChen Baozi <baozich@gmail.com>
Tue, 30 Jun 2015 08:00:15 +0000 (16:00 +0800)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 3 Jul 2015 10:11:26 +0000 (11:11 +0100)
commit4b83bdf05526622882aa86023166498509f27ee1
tree803b208aa02bd259d601305d37613aa3e15b0cf3
parent667282c356f4278a4fcfcd00e22610f62e6674f5
xen/arm: gic-v3: Increase the size of GICR in address space for guest

Currently it only supports up to 8 vCPUs. Increase the region to hold
up to 128 vCPUs, which is the maximum number that GIC-500 supports.

Signed-off-by: Chen Baozi <baozich@gmail.com>
Reviewed-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/include/public/arch-arm.h